Solange du auf 32 Bit bleibst, zur Not hilft halt noch eine Virtualisierung auf dem Windows-Server.