# Debian-specific variables go here