use full path for semanage