Request keyboard mapping instead of hardcoding

When translateModifiers() returns 64, it does not work for me, as it should return 80 on my system. Therefore, we should make translateModifiers() return the correct number.