hopefully fix some hopefully benign linking errors