Adding missing header, it is required in Linux