Fix #3: permissions on linux