Small adjustment to make the program run on Ubuntu.