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

fix #890