With this fix, it should actually run on travis, at last