Configurations files for jhbuild