replacing echo with echo -e so that colors work in linux