Add missing header (GNU/Linux).