*** /usr/bin/vmplayer-original	2013-01-30 22:06:11.253190017 +0100
--- /usr/bin/vmplayer	2013-02-09 20:38:33.488125792 +0100
***************
*** 93,98 ****
--- 93,99 ----
  
  if "$BINDIR"/vmware-modconfig --appname="VMware Player" --icon="vmware-player" &&
     /sbin/modinfo vmmon; then
+    export LD_LIBRARY_PATH=/usr/lib/vmware/lib/libcurl.so.4
     exec "$libdir"/bin/"vmplayer" "$@"
  fi