Port Pux to PHP 5.3

change some source files to make Pux run on PHP5.3