ugly fix for usage in Ubuntu precise