alex: update to version 3.1.3
happy: update to version 1.19.2