Fix bootstrap.php and build.xml.