Re: [PATCH] Increase timeout for tests and syntax-check