fix generated php flags