Fix compilation with 4.02.0 (fixes #2)