Rename DMLFfcns.sty to DLMFfcns.sty