remove po_hi_types.c from list of files to be proven