Artifacts of photran-build #96