fixed errant DSO problem on apple thanks to mateusz juda.