Fix clippy#1096

simongdavies merged 2 commits intohyperlight-dev:mainhyperlight-dev/hyperlight:mainfrom

simongdavies:fix-clippysimongdavies/hyperlight:fix-clippyCopy head branch name to clipboard