Fixing build_sem_path