We have released an update for Portal.
Changes in this update are:
Fixed missing video card configuration files causing lower than expected default settings when running the first time
Fixed bug with threads getting lower priority than expected causing performance issues on OSX and Linux
Fixed bad damage indicators if you changed resolution while playing