Fix the buid on debian