[BUG #8471] Removed patching feature (should be done on build time).