[slime-devel] (slime-compilation-finished) doesnt help solving stated goal.