hopefully fix debian build......