Support linux-mint(debian/ubuntu). Fix PHP Extension path.