Work around weird debian build issues