Extended the timeout to avoid Travis failures.

This try to fix #522... it is 5 seconds enough? I think so...