We have released a Beta update for Portal. Changes in this update are: [list] [*]Added SDK tools in the bin folder [*]Fixed save game corruption under Linux [*]Fixed buttons being lit incorrectly under Mac OS X [/list]