fix for incorrectly named debug executable.