misc
Merge branch 'env_bv' of github.com:AndreaCensi/bvapps into env_bv