dev+: fix compilation with gcc