How this is going to work for Ubuntu? Also, comment in the code please why we need such a hack.