minor fix for ubuntu/debian