remove old flag from frenetic build
Merge pull request #3 from frenetic-lang/installexec

remove old flag from frenetic build