Debian Stretch (9; 32-bit)