Work on building in a docker container
Update to newer GCC that uses noreturn __attribute__ instead of volatile void