Fix travis-ci issues