missing includes on some platforms