Compiler la vieille extension MySQL pour PHP 7