Revert "Oops ... fix a type in the git submodules previous patch."

It's a duplicate commit that was my mistake. It's harmless but for the sake of
git history, let's revert it.

This reverts commit c7712a23f31e3804368944a7466cc7d55f9862c1.

Conflicts:
	server/Makefile