Fix broken Travis CI build script

That script also should have been adapted to the new module name.