Linux write to file