the bug went away once I installed libmono-dev (which in turned also installed on my laptop libc6-dev libglib2.0-dev and linux-kernel-headers)
the bug went away once I installed libmono-dev (which in turned also installed on my laptop libc6-dev libglib2.0-dev and linux-kernel- headers)