these files are not needed since they have .in versions