(hopefully) fixed an issue where library verification could hang when starting with --gui