Portal Beta updated

We have released a Beta update for Portal.
Changes in this update are:

• Added SDK tools in the bin folder
• Fixed save game corruption under Linux
• Fixed buttons being lit incorrectly under Mac OS X