use plain binary instead of asan