also delete the binaries in /usr/local/php5