Remove old input files

These are not used anymore as we include hexadecimal files instead.