Add files that were missing.

These files should have been part of commit 42ecced8a0e35b66898c6e71dd0c4a87e11d6d89
but were apparently forgotten.

This closes #196.