Fix Travis build ...