change main() to int main() in unimain.cc files to ensure C++ compatibility