Fix linux uname for dev box