DO NOT name two files with the same name with only case difference !
Mac osx is by default formated as NON case sensitive system file.
key_k.fig becomes key_k_.fig
key_k.png becomes key_k_.png
key_K.fig and key_K.png are not modified
IMPORTANT: this is a temporary update to allow me to finally checkout crlcore but need to be corrected by the author