$set def [.libastro]
$mms/ign=war
$set def [-.libip]
$mms/ign=war
$set def [-.LIBJPEGD]
$mms/ign=war
$set def [-.LIBLILXML]
$mms/ign=war
$set def [-.LIBPNG]
$mms/ign=war
$set def [-.LIBZ]
$mms/ign=war
$set def [-.GUI.XEPHEM]
$mms/ign=war