slightly more detail on installing python headers on Linux