Upgrade to Glift 0.15.4. Improved buttons for problems and games.