Move check_vaultaire under src/