bump up to PHP version 5.4 and its builtin server