Split mint and non-mint, deb install will miss mint packages
added a rot13 script
Update of local extra packages