Renamed patchDevTools.py to patch_devtools.py