complete library name magic fix (library filenames generate classnames, so ZRVM would need to be part of the filename if the original change to ZRVM in classnames were to take