drop-non-portable-option.patch
