update nginx stable to 1.4.2 and devel to 1.5.3