Oops; missed a reference to get-jar-filename.