Minor fix in build.php