Header tweak for linux