Part 1 of syncing binary_codecs.sh with Debian