Hopefully the final fix for debian file permissions