Because, as you guessed, no implementation other than SBCL comes close to the performance needed.