Ubuntu: history -c doesn't clear