Fix the travis script for new opams with older compilers

Now with more inverted grepping.