Note: Verified this symptom still exists in August Quicklisp; Solution on our side is probably easiest.