debian platforms have different dev packages.