post_install() {
	sed -i -e 's/;extension=gettext/extension=gettext/' /etc/php/php.ini
}