Instruct user to set php 5.3