configure now works on debian