Use of tilde in place of star in composer.json