fixing travis-ci config