Change to Sabermod 4.7 toolchain