this is a common header for linux code