ROCker compile: new parameter --norefine