I believe platform-independence to not be needed here.