Note: Python extensions do not work for the AppImage, see #1306