Shared Folders Error in 13.04 - VMware Tools 9.2.3 - vmhgfs problem

[Charlie Smith]

After installing VMware Tools without a problem, when I run the vmware-config-tools.pl script there is an error when trying to build/load the vmhgfs driver. The gcc, binutils and make modules are installed. (See error messages below.)

Since the driver is not loaded, the Shared Folders option does not work. Any ideas how to solve this problem?

(There are no problems when running Ubuntu 12.04 or 12.10 in the same setup of Vmplayer 5.02 with Vmware Tools 9.2.3.)

System Info:
Windows 7 host, Ubuntu 13.04 32 bit Guest - Daily build: 16 April 2013, VMware Tools 9.2.3

Code:

/tmp/modconfig-5e6o62/vmhgfs-only/inode.c: In function ‘HgfsTruncatePages’:
/tmp/modconfig-5e6o62/vmhgfs-only/inode.c:888:4: error: implicit declaration of function ‘vmtruncate’ [-Werror=implicit-function-declaration]
cc1: some warnings being treated as errors
make[2]: *** [/tmp/modconfig-5e6o62/vmhgfs-only/inode.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [_module_/tmp/modconfig-5e6o62/vmhgfs-only] Error 2
make[1]: Leaving directory `/usr/src/linux-headers-3.8.0-18-generic'
make: *** [vmhgfs.ko] Error 2
make: Leaving directory `/tmp/modconfig-5e6o62/vmhgfs-only'

The filesystem driver (vmhgfs module) is used only for the shared folder
feature. The rest of the software provided by VMware Tools is designed to work
independently of this feature.

If you wish to have the shared folders feature, you can install the driver by
running vmware-config-tools.pl again after making sure that gcc, binutils, make
and the kernel sources for your running kernel are installed on your machine.
These packages are available on your distribution's installation CD.
[ Press Enter key to continue ]

End Code

This problem has been reported in the Ubuntu Forum under thread

http://ubuntuforums.org/showthread.php?t=2136277

and it has since been confirmed by three other users.

[Fabio Marconi (fabiomarconi)]

Thank you for taking the time to report this issue and helping to make Ubuntu better. Examining the information you have given us, this does not appear to be a bug report so we are closing it and converting it to a question in the support tracker. We understand the difficulties you are facing, but it is better to raise problems you are having in the support tracker at https://answers.launchpad.net/ubuntu if you are uncertain if they are bugs. You can also find help posting your problem in the support forum of your local Ubuntu's community http://loco.ubuntu.com/ or asking at http://askubuntu.com. For help on reporting bugs, see https://help.ubuntu.com/community/ReportingBugs.