debugging printouts now go to Console.err