[gambit-list] patch against 4.2.6 to configure into different directory other than srcdir