Fix the wrong return type of the function Main (to make it possible to
build with clang instead of gcc in debian)