Minor modifications to compilation script.