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 timeFixed bug with threads getting lower priority than expected causing performance issues on OSX and LinuxFixed bad damage indicators if you changed resolution while playing