Try to fix compilation for gcc 4.6 [3]