fix mono package name for ubuntu precise