Use proper lisp file extension