Add system header required for Linux