policy.c: Check that the input file is a proper file.