print libjvm filename