update to 3.7.19