Fix compilation for gcc