bash highlighting for some files was missing