fix the configure script to work on Fedora 20