Correct some compiling errors in icarus