Fix compilation for 4.01