Corrected code in order to compile on Linux64