fix installation-related bugs
hack around the no-page-open bug