Ooops, a small fault

I found a little bug in configure.ac. As the diff shows it should be withval. My bad.