minor tweak for linux build