Add missing specification files.