Merge pull request #3947 from RosettaCommons/koepnick/foldit_mac_rt Foldit: Fixes a bug where Xcode compiler optimization yields bad jumps