push updated HCrt Python utils