vmodtool not found in travis.