fix compilation on redhat