For bash and other tools