RedHat: Update configure options, again