use timedifference from eDVBLocalTimeHandler for time() calls in python