travis: use postgression explicitly