debian/watch: Use updated file from sepwatch.