BUG: fix travis-ci config.