some cleanup in hotbuild_settings.js