fix on ubuntu