add the new protocols file to EXTRA_DIST