Fix Version/s: None
psfex includes headers in the src directory, and they get installed under the same. However, Docker builds strip the src directory, meaning that the headers are removed. The headers should be put in the include directory to be immune from the stripping.
After a bit more extensive addition to the install step, Jenkins is green.
Paul Price added a comment - After a bit more extensive addition to the install step, Jenkins is green.
Asking Kian-Tat Lim to review this, as he may have policy questions beyond the mere implementation.