Fix debian builds by adding a missing ','
Merge pull request #5350 from jlaska/fix_debian_builds

Fix debian builds by adding a missing ','