Why `ubuntu` here vs. `debian`? The debian packaging we had here was working for Debian 7, Ubuntu, Linux Mint, etc.