remove old flag from frenetic build

Frenetic no longer has an installexec flag, so opam doesn't build. We should probably restore it (we want to install executables, right?), but this fixes opam for now.