arduino IDs for Debian fix