Updated version of hello-foxx. 1.4.2 was broken