fix(tools/basic/type.ml): use "%g" for printing numbers
fix(CMakeLists.txt): print EGLIBC message only in Linux
fix(CMakeLists.txt): print EGLIBC message only in Linux