As a temporary workaround, Autohotkey can get the right Alt/Ctrl to function as the left ones.