8244196: adjust output in os_linux

Reviewed-by: dholmes, mdoerr
1 file changed