Fix (?) the travis build.