configure.ac: correct name of device-mapper-devel for RHEL