Workaround for missing PHP 5.3 in Travis-CI