; Change instrumentation code in tramp-tests.el