Fixing compilation on frenetic VM, was somehow working on local machine