lock screen orientation to portrait on Android (fix #623)

This should fix #623.