pth now supports separate-compilation tests.