Trying to fix the travis build ...