[next] Compile fix for linux 64: gcc 4.7.3