Are you sure you are not running Junos 11.x ? I said before it was in 10.4 that mapped addresses changed from :: to ::ffff: but it was probably from 11.1. Been some time since I looked into it. Have a look at the Day One book Advanced IPv6 Configuration for an example with ::ffff:.