Update mint17manager.sh