Updating install script for xenomai debugging