#14: add debian-based distros to the list of supported OS's