This hopefully fixes xournalpp/xournalpp#41