56d58e
$supported_os and $JAVA_OS in configure do not always match - on arches that override supported_os to be the arch we can not find headers