Add an appropriate php flag