* configure.ac: Tweak previous change, for make 10+