ADDED: console.log() for screenmanager.systemDefaultScale output, for debugging #35