added cl-lib, apparently needed in linux