[veraPDF-users] Rest API does not build