Jenkins is currently configured to re-use workspaces between builds of
the same branch. Run `make clean` at the start of the build to ensure
that any artefacts from the previous build of the branch are removed.