add 09/src/gen-idf-hash.pl