Fix phprelease script