use sudo for editing php.ini