Some renaming so that g++ compiles the code.