Forgot bootstrap.php

Signed-off-by: Michael Greenhill <doctorjbeam@gmail.com>