rename files, fix Linux build