Since these files do not contain build-time anymore, they don't need to be processed by mk.sh as such, hence can have their final form