php 5.5: define php_bootstrap for simplicity