Fix weird name for nosetests for ubuntu...