using a more portable header