On a linux system, debian 6 to be more precise, php 5.3.3, what is the default email program that php uses to send emails with its mail() function?