Updating TinderBoxen: improves <support> statements, fixes configs failing on MSW