asan: fix format string in CHECK