(the time diff is small and it will help starters, advanced users can disable it at any time on cmake guy/compilation script)
(the time diff is small and it will help starters, advanced users can disable it at any time on cmake guy/compilation script)