kick up memory limit to 12M so we can sort larger dumps