Fix 'make deb' by ditching a bashism

1 job for master in 7 minutes and 48 seconds (queued for 1 second)