nginx: use the latest mainline release

    1.4.7 ->
    1.7.2