Test refresh.py: make sure travis CI can find the generated module.
Travis CI: one more try