work-around for ubuntu bug