Update dmux.v