make it work with profiles for linux64