Common public files used by development tools