Chnages in phpunit's bootstrap script; should hopefully fix travis