Make the alt key binding in texsuite works