tools for rewriting binaries