libs/core: make sure that bitlib is loaded, fixes some sdk problems