Add Debian to platforms list

This is purely cosmetic but since I'm using this on Debian (wheezy) I know it
works there.