Added a TinyELF conversion script