Delete mikedev.inc~