Delete php-dev~