Linux Mint fixes screensaver bypass discovered by two kids