use 5.010001; in manifest.t