fix travis-ci config file