anyone using monodevelop on X and linux? It seems to run as an unmanaged window. No title and not window manager borders. It cannot be moved or resized.