Fix installation of testing trees
Fix installation of testing trees


Former-commit-id: 2a19720b2480eb8439e3353ba22255d007d31f65
karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle,karel-brinda/prophyle