Try to make travis work again...