Which flavor of linux should I use for this machine? I will be using it as a web server, mail server and ftp server. Which flavor would be more efficient?