[gambit-list] Hi Marc, find feedback on your "make" options text just emailed to you!