fix travis-ci config