- ensure INSTALLATION_DIRS contains the appropriate extra directories for a given platform
XXX distrib/notes/newsmips is not yet.