Put source file names explicitly in configuration.

This way, make can detect when a new source file is added.