update OS before installing devtools!