seperated profiles for debian and osx