fix suppressing of unused INSTALL_XXX warnings with --developer