fixing another bug when using ubuntu