change AsmPrinter to switch sections using AsmStreamer instead of