How to build ssrcoqide

The installation document of ssreflect states that a custom CoqIDE for ssreflect can be built by the following command:

coqmktop -ide -opt ssreflect.cmx -o ../bin/ssrcoqide

However, I always get the following error message:

Error: Unbound module Coqide

To build ssrcoqide correctly, I need to append the argument "-boot" to coqmktop.

coqmktop -boot -ide -opt ssreflect.cmx -o ../bin/ssrcoqide