Wheezy, Whonix gateway and Whonix workstation should now build