DIST deleted from GitIgnore