NP-completeness of the Supervisor Synthesis Problem for Unrestricted CTL Specifications