Report: cpuminer build fix for Linux Mint 15 Cinnamon

You are reporting the paste cpuminer build fix for Linux Mint 15 Cinnamon.