add . in front of executables in davst example