a few fixes to the gdc mode of pipedmd