Fix names of generated files

Signed-off-by: Carlos Aguado Sanchez <carlos.aguado@epfl.ch>
Fix version name for vboxwrapper linux

Signed-off-by: Carlos Aguado Sanchez <carlos.aguado@epfl.ch>