fix broken travis-ci configuration