Server seed is now properly handled by a file in /autotools