more for quicklisp proxy