Remove a redundant pragma
Follow testsuite changes