use the correct configuration file

This resolves issue #80