Fix building VEB
A totally wrong implementation of VEB :(