Use the 4.0.0-dev name for development of 4.0