bootstrap: correctly display files copied in build.py