Work-around to make travis work