Add slightly Linux-friendlier build infrastructure.