newky2k/daves-monodevelop-addins not found