try to fix travis builds, travis seems to encounter timeouts