Fixed #5066 (buildman.sh fails)