hello what is the best of linux version for gmp ??? i need the highest gmp speed. is linux desktop is better or linux server? is ubuntu 12.04 good? thank you so mach.