Fix mixminion and radre2-bindings