Try to make travis work without timing out (>10 mins can time out)