Interpreter: Remove dead patches() function