removed platform-specific aliasing