PHP Fan : > Bugs likehttps://bugs.launchpad.net/ubuntu/+source/grep/+bug/1535458 > shouldn't remain unfixed for more than a few days. It seemed to be an error in the bug description, but I have just corrected it. Thanks for your attention ;)