Remove php-micro