be a little tolerant to other platforms/compilers ;-)