dolphin-3.5: Edits patch file with correct directories.