Fix wrong configure option....