hm, seems strange to me, this message should contain something like "input file <filename> have bad format"