GuignaMR: remove a system from Options