fix broken travis-ci config