[ASan tests] Use ASAN_OPTIONS in a portable way