Get rid of the david-dm thing for now