config: Fix a bug in the RHEL6-specific options