Tries to work around crash of the testsuite in Travis.