use escaped / rvm version of tools, fix #2475