Comment 2 for bug 164671

After a discussion on #ubuntu-motu, it was clear that the debian package has the incorrect section libs, which should be libdevel. Riddell said he thought he had poked debian about it, but will do it again. We wait for a new debian package, and then do the sync with Riddell's changes.