Fix Bug #20297 : wrong operatingsystemrelease value when used on Amazon ...