Fix travis build config (?)