fix for ubuntu/debian