Sorry, no ifdef is needed here, what it says is true for all platforms ;-)