minor fix related to #366, was causing "Permission denied" exceptions on debian