travis: workaround for missing PHP 5.3 in travis