better OSRELEASE for linux