Works on ubuntu64

Tested it on Ubuntu, it was failing. This fixes it.