Backed off the division by 2^12 for Linux.