misc. ASAN related tweaks