update php version in boxfile