- HoTT: vario sound depends now on user commanded velocity
- updated binaries