Update build machinery for new gitification. No changes to the programs themselves.