Fixed a bug in Diatheke::isInstalled