BUG: fix travis-ci setup.