add mysql's remi repo to fix broken 'php-mysql' driver installation