chipsec_util work around for UEFI shell changing file names case