I've never actually done a Linux port before. I'll try to find some time to look into it!