It looks that mainteiners are fixing TVE issue. I hace checked the repository and amends have been done recently.