on the GSOC branch I just verified that we can use the normal config, no need for the -full profile.

See for details:

-M
--