(patch supplied by martin.) Forgot that iptest uses these files, rather than the one in src/dist/ipf.