Is this a header we can reasonably expect to be present on any machine we want to run PyOP2?