Added the proper ged commands to replace the paths in the pintos source files