fix boot.dist