Nová Petrova bouda bude menší, památkáři kývli na projekt