improvements to Frenetic and Flowlog installation