This is not increasing the version number, because I plan to merge
before splitting off the fmc project.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>