configure: Allow automatic WHPX detection