travis: error in bootstrap.php