Added proxyprinttodiv everywhere.