debian/setup: Fix build error