rudimentarily fix debian build