some corrections to make mife sbcl compatible