[gambit-list] Changing the name of the compiler