This is a test pull request.

Please do not merge this. Its purpose is to test that the Jenkins
automatic pull request builder will not build unless the Makefile is
identical to the reference repository one.