Fix failing travis push