Hotfix: Use Drush 6 for PHP 5.3.