Convert the binary files to TTX