Make the PE testsuite pass in green