changes to allow mono builds (in linux)

This is the request for #889