use correct executable