Add missing source file. This fixes #6