add ubuntu package to INSTALL
[snark14.git] / snark / user_fom2.c