travis: don't use phpenv