engrampa: removed obsolete configure option