Fix travis-ci configuration