Fix gcc no std c

NOT to be merged -- just a basis for joint exploration