Tweak PHP Erlang binary term encoding.