Actually add file containing main().