updating air sdk for flash builder and flash professional

after updating to the latest air on windows 7, how do I tell flash builder and flash professional to use it?

I verified that it is installed, but when I use builder, it still thinks it should use air 3.4.