Leftover from 67093e003bd44a3455f7af042216772d2590f613
Also test with PHP 5.3.3 and PHP 5.3.* on Travis CI