Replace 0.9rc3 by 0.9