Changed travis timeout to 45 minutes --- this is ridiculous!