[gambit-list] Missing files on Gambit web server