Superfluous bootstrap file removed.