Ben: upping timeout for travis