Workaround for bug in hdiutil