bashrc.autopatch2: When that fails, to skip the patch.