add proxy for quicklisp