[minor] install script allowed for linuxmint, a ubuntu distribution