modify_smash.sh:

This is the patch file that modifies smash code into a library code as
a subroutine of pimd. Select sed or gsed that works in your computer.
