minifix in include 'make install': no header filter in prnt anymore