prefer-source on PHP 5.3.3