Update configuration.cc

change
kcov --pid=1000 /tmp/frodo 
to
kcov --pid=1000 /tmp/frodo ./frodo