made dubious sed in bashrc portable (but still dubious)