You’re right, I misremembered! I tried US-International, and because of that exact issue you mentioned switched to EurKEY. In my case it wasn’t part of the layout selection, so I had to change it in a config file.