Added int header for linux