Fix compiler errors and warnings (gcc 10)#7

poeschel wants to merge 2 commits intostople:masterstople/OpenTitus:masterfrom

poeschel:masterpoeschel/OpenTitus:masterCopy head branch name to clipboard