`raco pkg' repair
make user PLaneT install path use installation name instead of version