Add missing files

Fixes #125.