Fix bootstrap.php loader()