Remove the redundant src/spec/bootstrap.php file.