A minor performance improvement for codelite workspace loading time