Delete mikedev.inc