prima: HACK: compilation fix for gcc 4.7