added php5 hacks to include/bootstrap.inc