just a little compatibility issue on Ubuntu