Fix error in make.php