./configure on RHEL65 gives an error "grep: /etc/os-release: No such file or directory".
Fixed with checkin #7728
Fixed with checkin #7728