Fail with an error if the interface file we're reading doesn't contain
the module we were expecting.