Tweak astro/rmap version 1.2_12