Switch to new php-ext-appserver 0.1.3 version