Compiler: fix with latest 4.02