Binary recompilation