Ensure derived protocols are defined with a file