Various tools for using AmigaOS programs on other platforms