BUG: actually fix travis-ci.