Install linux-headers-3.13.0-24-generic in the script, until it is added to the base image