tweak setup for VIRGO_DEV