Use executables built under dist/