Tweak Dockerfile OS version