Keep mintty in devkit