attempt to workaround python issue7980