/** This one is a little bit harder since we need the absolute
filename. Should we insert files with .sty .cls etc as
extension? */
/** This one is a little bit harder since we need the absolute
filename. Should we insert files with .sty .cls etc as
extension? */