Workaround for online updater issue (fixes #19)