When i run make in the policy directory in fedora 5, i get this message:

WARNING: Policy version mismatch! Is your OUTPUT_POLICY set correctly?
/usr/bin/checkpolicy policy.conf -o policy
make: ***[policy.] Floating point exception


What could the problem be?