some theme files were mysteriously not part of the repository..