fix indentation on Autoconf

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>
cleaned up sanity checks

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>