to give extensions (such as quicklisp) every chance to bypass it. (Thanks to Dave Cooper for noticing the bug.)