small permissions fixup needed on ubuntu 14.04 64-bit