added the --no-patching option