Another attempt to fix the timeout problem on Travis