Copyright for texmacs source package in Maverick