Use non-snapshot version of muxx, to keep toolchain happy.