removed php5.3 since we need now php5.4. removed bootstrap.php.