Make filename of lock file modifiable