make progress percentage show 3 decimal places for mvn2