Problems starting workbench in Fedora 17 (no replies)

Hi,
I have installed mysql-workbench through yum in Fedora 17 64bit when start it I get the following error :

/bin/catchsegv: line 58: //libexec/mysql-workbench-bin: No such file or directory

The routine for line 58 in /bin/catchsegv is as under

 # Redirect stderr to avoid termination message from shell.
(exec 3>&2 2>/dev/null
LD_PRELOAD=${LD_PRELOAD:+${LD_PRELOAD}:}/\$LIB/libSegFault.so \
SEGFAULT_USE_ALTSTACK=1 \
SEGFAULT_OUTPUT_NAME=$segv_output \
"$prog" ${1+"$@"} 2>&3 3>&-)
exval=$?

The file mysql-workbench-bin is located under /usr/libexec instead of //libexec

Can someone please help me fix it, I have very important assignment to do using workbench.

Thanks for your help.
Regards
Terry