postgresql: version bmuped to 9.3.5.
php5: version bumped to 5.5.15.