Verify that protocol files are not out of date

This fixes Issue #935