Fix probelm with Sys.getenv (reported by Martin Maechler)