Add files from non-Windows ports