travis: workaround for PHP BUG #35326 which happening on Travis-CI sometimes

e.g.
https://travis-ci.org/nette/nette/jobs/5038274
https://travis-ci.org/nette/nette/jobs/4882207