Fix double entry of main.cpp under Linux