bump micro to 7.4.2