Fix boost linking on Debian