change LIBZK to LIBISLET across files