Restart php-fpm after overriding php.ini, fixes #24