More Linux build improvements#3

wrljet wants to merge 3 commits intorsanchovilla:masterrsanchovilla/SimH_cpanel:masterfrom

wrljet:masterwrljet/SimH_cpanel:masterCopy head branch name to clipboard