Add tuxboot 0.5