Adjustments to compile on Linux with monodevelop