Debianfanboy/proc not found