add missing source file to distribution