Also support -DCMAKE_BUILD_TYPE=None which is used by Debian

Fixes: https://bugs.debian.org/739068