Try to fix compilation for gcc 4.6 [2]