remove unused --disable-eigen configure option (fix #890)