Test for RHEL 5 gcc when building dep-selector-libgecode