Issue #1442886 by pdrake: Fixed fatal error "failed opening theme.inc" in some edge...