Upgrade to php-mysql 5.4