@anistor Are you sure this hack is no longer needed?