Now we can remove the hack we did to add windows7 targets (#64 !32), as TorBrowser doesn't support the platform anymore.
