Fix debian builds by adding a missing ','