Fix wrong repository filenames (fixes issue #11)