Make testsuite cope with PexOS. Needs revisiting.