Fix generation of exmpp_known_*.{hrl,erl} files from escript