remove php 5.4, which will be end of life in 2015