Removed ContractLib-specific code from bootstrap.php