altos/stm-demo: Make this build again after various API and CFLAGS changes