I've struggled with this as well; the closest I've come to solving it was changing the keyboard layout preferences in gnome so that my right windows key now works as alt. I find that works almost as well.