Remove 64-bit mux