Update CMake files for debian BBB build