further tweaks to single file c++ exec builds