One last fix, forgot to update cmakelists