fix doc compilation on non 32bits systems
1 file changed