Convert main file to a dummy file.

See #2.