Nicer library name in the TMP file