make-config.sh:os_setup(): report $OS, then lowercase it