Portal 2 — Portal 2 - Update

An update has been released for Portal 2.

• Fixed a compatibility issue that was causing a crash on Linux clients.