fixed ifips to use the correct one, regardless of platform