admin: updated cabal file, library file.
bugfix: wrong scaling factor for thread delay in heartbeat timeout.