Setting an obsene timeout in case travis is slow...