Fix another instance of include_lib