I've just uploaded the game to server. The filename is Portal_2ndPGD.rar, contains binary (Win 32) and complete source code.