bicompactification