Use correct executables