Bug-fix: Newer version of SBCL from debians prints its version with string attached; need to not parse this into an integer.