Another attempt to make travis work...