apply Nick's patch to fix some error printf to use stderr