specify php version to install using attribute