php53: rename package to php53