fix OS check for docker