We have released a Beta update for Portal. Changes in this update are:
  • Fixed save game corruption when running under Linux