Specify protocol in location of ffsm dependency