fix path in install_kernel_source