Workaround for rdar://15160636