Add (updated) build infrastructure.