TONY: Add a hack to work around amigaos4 issues.