Fix mangos version to 0.17