fix for Ubuntu