Some remarks about binary compatibility added.