Use a versioned BasicTeX URL