tweaks in gummiboot install