change file extension to glisp