remove-devtools.patch
