trying to figure out how to get the right kernel headers in travis