fixes #84 by adding the required code to bootstrap.php