Fix problem with casting of values when printing saving updates
Stop using objc_msgSend as it started crashing in 7.1