Touch up mistakes in build infrastructure.