Take into account DESTDIR when compiling Python code during installation