Fix #397: GPU acceleration