Platformafhankelijke file