(backends) Set the right Void type